$\forall$$x$, $y$:Atom2. $x$ =a2 $y$ $\in$ $\mathbb{B}$